Proposición 6.1

Enunciado

La propiedad de ser homotópicas define una relación de equivalencia en el conjunto C(X,Y) de todas las aplicaciones continuas de X en Y.